disable htmlinfo example which contains non-free files
authorDmitry Shachnev <mitya57@debian.org>
Thu, 30 Jan 2020 21:03:38 +0000 (21:03 +0000)
committerDmitry Shachnev <mitya57@debian.org>
Thu, 30 Jan 2020 21:03:38 +0000 (21:03 +0000)
commitdf0ccfdf7589392edbf8c7eb9a3f91a311cbe441
tree899a01d317c05c90c2bf8226043da8f242e40993
parente98d22718b7b5b02fa345206404097144ff7966e
disable htmlinfo example which contains non-free files

Forwarded: not-needed
Last-Update: 2014-12-17

Gbp-Pq: Name no_htmlinfo_example.diff
examples/xml/xml.pro